VerifyThis 2012

VerifyThis 2016 A Program Verification Competition

VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 event, the challenges that were posed during the compe...

A Program Verification Competition

VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a ...

EMNLP - CoNLL 2012 2012 Joint Conference on

UTMS 2012 – 16 November 14 , 2012

We establish an isoperimetric inequality with constraint by ndimensional lattices. We prove that, among all domains which consist of rectangular parallelepipeds with the common side-lengths, a cube is the best shape to minimize the ratio involving its perimeter and volume as long as the cube is realizable by the lattice. For its proof a solvability of finite difference PoissonNeumann problems i...

NAACL - HLT 2012 SIGMORPHON 2012 Twelfth

Most tools and resources developed for natural language processing of Arabic are designed for Modern Standard Arabic (MSA) and perform terribly on Arabic dialects, such as Egyptian Arabic. Egyptian Arabic differs from MSA phonologically, morphologically and lexically and has no standardized orthography. We present a linguistically accurate, large-scale morphological analyzer for Egyptian Arabic...